"bisimulation" meaning in All languages combined

See bisimulation on Wiktionary

Noun [English]

Forms: bisimulations [plural]
Etymology: From bi- + simulation. Etymology templates: {{prefix|en|bi|simulation}} bi- + simulation Head templates: {{en-noun}} bisimulation (plural bisimulations)
  1. (logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa Wikipedia link: bisimulation Categories (topical): Logic Related terms: bisimilar, simulation preorder

Inflected forms

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "bi",
        "3": "simulation"
      },
      "expansion": "bi- + simulation",
      "name": "prefix"
    }
  ],
  "etymology_text": "From bi- + simulation.",
  "forms": [
    {
      "form": "bisimulations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "bisimulation (plural bisimulations)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "English terms prefixed with bi-",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "id": "en-bisimulation-en-noun-Kr7TnVHw",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "equivalence relation",
          "equivalence relation"
        ],
        [
          "state transition system",
          "state transition system"
        ]
      ],
      "raw_glosses": [
        "(logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "related": [
        {
          "word": "bisimilar"
        },
        {
          "word": "simulation preorder"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "bisimulation"
      ]
    }
  ],
  "word": "bisimulation"
}
{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "bi",
        "3": "simulation"
      },
      "expansion": "bi- + simulation",
      "name": "prefix"
    }
  ],
  "etymology_text": "From bi- + simulation.",
  "forms": [
    {
      "form": "bisimulations",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "bisimulation (plural bisimulations)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "bisimilar"
    },
    {
      "word": "simulation preorder"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English terms prefixed with bi-",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Logic"
      ],
      "glosses": [
        "an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "equivalence relation",
          "equivalence relation"
        ],
        [
          "state transition system",
          "state transition system"
        ]
      ],
      "raw_glosses": [
        "(logic) an equivalence relation between state transition systems, associating systems which behave in the same way in the sense that one system simulates the other and vice-versa"
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ],
      "wikipedia": [
        "bisimulation"
      ]
    }
  ],
  "word": "bisimulation"
}

Download raw JSONL data for bisimulation meaning in All languages combined (1.3kB)


This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-12-21 from the enwiktionary dump dated 2024-12-04 using wiktextract (d8cb2f3 and 4e554ae). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.